/FONT#1=BASL30/FONT#2=BASB30/FONT#3=NGR25/FONT#4=NGR20
␈↓↓␈↓α␈↓β␈↓∧␈↓ ↓H
␈↓↓␈↓ ε↓Nov 18, 1978␈↓ ↓H
␈↓ ↓H
␈↓ ↓H
␈↓ ↓H
␈↓ ↓H
Dear LISP person:␈↓ ↓H
␈↓ ↓H
␈↓ ↓HConsidering␈α⊃the␈α⊃increasing␈α⊃interest␈α⊃in␈α⊃LISP,␈α⊃its␈α⊂applications,␈α⊂and␈α⊂the␈α⊂growing␈α⊂number␈α⊂of␈α⊂LISP␈↓ ↓H
␈↓ ↓Hmachines,␈α⊃it␈α⊃seems␈α⊃to␈α⊃me␈α⊂that␈α⊂an␈α⊂international␈α⊂LISP␈α⊂conference␈α⊂is␈α⊂called␈α⊂for.␈α⊂Besides␈α⊂having␈α⊂a␈↓ ↓H
␈↓ ↓Hunifying␈α⊂effect␈α⊂within␈α⊂the␈α⊂LISP␈α⊂community,␈α⊂the␈α⊂conference␈α∂proceedings␈α∂would␈α∂be␈α∂a␈α∂consolidated␈↓ ↓H
␈↓ ↓Hsource␈α∪of␈α∪information␈α∪for␈α∪the␈α∪broader␈α∪computer␈α∪community.␈α∪I␈α∪would␈α∪like␈α∪to␈α∪arrange␈α∪a␈α∩LISP␈↓ ↓H
␈↓ ↓Hconference␈α
for␈α
sometime␈α
in␈α
1980,␈α
probably␈α
in␈α
the␈α
Palo␈α
Alto␈α
area.␈↓ ↓H
␈↓ ↓H
␈↓ ↓HConsidering␈α⊂the␈α⊂scope␈α⊂of␈α∂LISP-related␈α∂topics,␈α∂we␈α∂should␈α∂begin␈α∂to␈α∂organize␈α∂now.␈α∂Therefore␈α∂I␈α∂am␈↓ ↓H
␈↓ ↓Henclosing␈α∂a␈α∂zero-order␈α∂list␈α∂of␈α∂topics␈α∂for␈α∞your␈α∞comments.␈α∞Please␈α∞comment␈α∞on␈α∞their␈α∞appropriateness;␈↓ ↓H
␈↓ ↓Hplease␈α
suggest␈α
other␈α
topics;␈α
and␈α
please␈α
volunteer␈α
to␈α
help!␈↓ ↓H
␈↓ ↓H
␈↓ ↓HPossible␈α
Topic␈α
areas␈α
include:␈↓ ↓H
␈↓ ↓H
␈↓ ↓H␈↓αLISP␈α_Machines:␈↓↓␈α_Several␈α_full-scale␈α_efforts␈α_are␈α↔underway␈α↔for␈α↔LISP-like␈α↔architectures;␈α↔several␈↓ ↓H
␈↓ ↓Hmicro-computer␈α
implementations␈α
are␈α
extant␈α
or␈α
planned.␈α
It␈α
would␈α
be␈α
nice␈α
to␈α
have␈αas␈αmany␈αof␈αthese␈↓ ↓H
␈↓ ↓Hprojects␈α
represented␈α
as␈α
possible.␈↓ ↓H
␈↓ ↓H
␈↓ ↓H
␈↓ ↓H␈↓αEducation␈αand␈αPhilosophy:␈↓↓␈αThis␈αis␈αa␈αgeneral,␈αbut␈αvery␈αimportant␈α"lump␈αarea".␈αLISP␈αis␈αan␈αexcellent␈↓ ↓H
␈↓ ↓Hvehicle␈α
on␈α
which␈α
to␈α
hang␈α
most␈α
of␈α
modern␈α
computer␈α
science.␈↓ ↓H
␈↓ ↓H
␈↓ ↓H
␈↓ ↓H␈↓αTheory:␈↓↓␈α⊃Several␈α⊃research␈α⊂projects␈α⊂deal␈α⊂with␈α⊂the␈α⊂provability␈α⊂of␈α⊂programs␈α⊂expressed␈α⊂in␈α⊂LISP-like␈↓ ↓H
␈↓ ↓Hformalisms;␈α∂many␈α∞of␈α∞these␈α∞embody␈α∞their␈α∞results␈α∞in␈α∞running␈α∞systems.␈α∞Work␈α∞on␈α∞semantics␈α∞is␈α∞also␈α∞of␈↓ ↓H
␈↓ ↓Hinterest.␈↓ ↓H
␈↓ ↓H
␈↓ ↓H
␈↓ ↓H␈↓αApplications:␈↓↓␈α
No␈α
language␈α
can␈α
claim␈α
a␈α
richer␈α
and␈α
more␈αvaried␈αset␈αof␈αapplications␈αthan␈αLISP.␈αWe␈↓ ↓H
␈↓ ↓Hshould␈αstress␈αnon-AI␈α
applications;␈α
LISP's␈α
diversity␈α
should␈α
be␈α
made␈α
more␈α
widely␈α
known.␈α
Applications␈↓ ↓H
␈↓ ↓Hmight␈αinclude␈αalgebraic␈αmanipulation␈α
systems,␈α
theorem␈α
provers␈α
and␈α
verifiers,␈α
and␈α
applications␈α
in␈α
the␈↓ ↓H
␈↓ ↓H"non-technical"␈α
sciences.␈↓ ↓H
␈↓ ↓H
␈↓ ↓H
␈↓ ↓H␈↓αPersonal␈α⊃Computation:␈↓↓␈α⊃I␈α⊃am␈α⊂convinced␈α⊂that␈α⊂one␈α⊂of␈α⊂LISP's␈α⊂best␈α⊂customers␈α⊂will␈α⊂be␈α⊂the␈α⊂personal␈↓ ↓H
␈↓ ↓Hcomputer␈αpopulation.␈αLISP's␈αinteraction,␈αits␈αrange␈αof␈α
applications,␈α
and␈α
its␈α
portability,␈α
are␈α
all␈α
superior␈↓ ↓H
␈↓ ↓Hto␈αthe␈αfeatures␈αcurrently␈αbeing␈αattributed␈αto␈αPascal.␈αBy␈αthe␈αend␈αof␈α1979␈αthere␈αwill␈αbe␈αseveral␈αarticles␈↓ ↓H
␈↓ ↓Hon␈α
LISP␈α
in␈αBYTE␈αmagazine,␈αincluding␈αa␈αspecial␈αLISP␈αissue␈αin␈αAugust␈α1979.␈αThese␈αarticles␈αshould␈↓ ↓H
␈↓ ↓Hspawn␈α
many␈α
interesting␈α
projects␈α
which␈α
could␈α
be␈α
demonstrated␈α
at␈α
the␈α
conference.␈↓ ↓H
␈↓ ↓H
␈↓ ↓H
␈↓ ↓H␈↓αFuture,␈α∩and␈α∩Extensions,␈α⊃of␈α⊃LISP:␈↓↓␈α⊃John␈α⊃Backus'␈α⊃Turing␈α⊃lecture␈α⊃has␈α⊃spawned␈α⊃much␈α⊃interest␈α⊃in␈↓ ↓H
␈↓ ↓Happlicative␈α∀languages.␈α∀Several␈α∪current␈α∪research␈α∪efforts␈α∧∪deal␈α∪with␈α∪purified␈α∪LISP-like␈α∪languages.␈↓ ↓H
␈↓ ↓HWithin␈α⊗the␈α⊗AI␈α⊗community␈α⊗LISP␈α⊗has␈α⊗become␈α⊗a␈α⊗systems␈α⊗language␈α∃both␈α∃in␈α∃the␈α∃sense␈α∃of␈α∃an␈↓ ↓H
␈↓ ↓Himplementation␈α∪vehicle␈α∪for␈α∪AI␈α∪languages␈α∪as␈α∩well␈α∩as␈α∩the␈α∩traditional␈α∩sense␈α∩of␈α∩operating␈α∩systems␈↓ ↓H
␈↓ ↓Himplementation.␈↓ ↓H
␈↓ ↓H
␈↓ ↓H
␈↓ ↓H␈↓αOther:␈↓↓␈α
The␈α
above␈α
topics␈α
are␈α
far␈α
from␈α
exclusive.␈α
I␈αam␈αsending␈αthis␈αannouncement␈αto␈αthe␈αsample␈αof␈↓ ↓H
␈↓ ↓HLISP␈α∂personages␈α∂listed␈α∂below;␈α∂your␈α∂reactions␈α∂will␈α∂dictate␈α∂much␈α∂of␈α∞the␈α∞next␈α∞step␈α∞and␈α∞as␈α∞such␈α∞will␈↓ ↓H
␈↓ ↓Hgreatly␈α
influence␈α
the␈α
success␈α
of␈α
the␈α
endeavor.␈α
Therefore␈α
please␈α
reflect,␈α
and␈α
then␈α
respond␈α
soon.␈↓ ↓H
␈↓ ↓H␈↓ ↓H
␈↓ εW
␈↓ εW
Yours sincerely,␈↓ εW
␈↓ εW
␈↓ εW
␈↓ εW
John R. Allen   (JRA at SU-AI)␈↓ εW
18215 Bayview Dr.␈↓ εW
Los Gatos, Ca  95030␈↓ εW
(408)353-2227␈↓ εW
   or␈↓ εW
Signetics Corp.␈↓ εW
811 E. Arques Ave. Mail Stop 38␈↓ εW
Sunnyvale, Ca 94086␈↓ εW
(408)739-7700 X3456␈↓ εW
␈↓ ↓H
␈↓ ↓H
CC: ␈↓ ↓H
Bruce Anderson,␈↓ ↓H
Bob Boyer,␈↓ ↓H
Dan Freidman,␈↓ ↓H
Eiichi Goto,␈↓ ↓H
Patrick Greussay,␈↓ ↓H
Joachim Laubsch,␈↓ ↓H
John McCarthy,␈↓ ↓H
Vaughan Pratt,␈↓ ↓H
Gianfranco Prini,␈↓ ↓H
Erik Sandewall,␈↓ ↓H
Warren Teitleman,␈↓ ↓H
Pat Winston ␈↓ ↓H
␈↓ ↓H